Information Structures for Control and Veri cation of Hybrid Systems 1

Hybrid systems are continuous variable, continuous time systems with a phased operation. We present the hybrid automaton model and introduce the problems of control and veriication. We describe the information structure of a hybrid system in terms of its observation and control spaces, observation map, control strategy, and state evolution. For the important case of symbolic observations and controls|i.e., of nite observation and control spaces|we develop the notions of state space reenement and equivalence partitioning. We review from the literature diierent information structure setups for control and veriica-tion of hybrid systems.